Skepticism is one of the most enduring and profound of philosophical problems. With its roots in Plato and the Sceptics to Descartes, Hume, Kant and Wittgenstein, skepticism presents a challenge that every philosopher must reckon with. In this outstanding collection philosophers engage with skepticism in five clear sections: the philosophical history of skepticism in Greek, Cartesian and Kantian thought; the nature and limits of certainty; the possibility of knowledge and related problems such as perception and the debates between objective knowledge (...) and constructivism; the transcendental method as a response to skepticism and the challenge of naturalism; overcoming the skeptical challenge. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

Na Religião nos Limites da Simples Razão, Kant se propõe a investigar o núcleo racional da religião e sua relação com a religião histórica. O ponto de vista da filosofia crítico-transcendental e os princípios da religião racional-moral desenvolvidos nas três Críticas são apresentados como a base de uma análise da religião histórica, sobretudo da religião cristã. Com efeito, o conjunto de dogmas e estatutos da religião cristã é interpretado como um conjunto de símbolos que representam os meios pelos quais os (...) princípios morais puramente racionais se tornam intuitivos na experiência humana. De um modo geral, o propósito dessa exegese é verificar e demonstrar, respeitando certos limites, que existe compatibilidade e unidade entre os princípios da religião racional e os dogmas da religião cristã. Ao mesmo tempo, ela se propõe a acusar os elementos que não são compatíveis ou não são essenciais à religião. O resultado disso é um discurso consistente sobre a “essência moral” do cristianismo que culmina em um manifesto contra todo tipo de “entusiasmo” religioso e contra as “práticas religiosas” contraprodutivas à moralidade. Em última instância, pode-se argumentar ainda que o objetivo de Kant na Religião ultrapassa o empreendimento de oferecer um discurso sobre a essência da religião ou mesmo uma interpretação moral do cristianismo, dirigindo-se a uma investigação sobre as condições de possibilidade do progresso moral da humanidade e da realização do objeto último da razão, para o qual tanto a religião racional quanto a religião histórica desempenham um papel fundamental. (shrink)

Can one expect religious minorities to be committed to a liberal democratic state? Can a democratic, Western, liberal state be open and safe for all – both ultra-orthodox and secular alike – and count on the allegiance of all? Does this require that religious minorities ‘hide’ their religious identity and conform to prevailing laws and customs and express their religious views and practices only in the privacy of their own homes? Or should minorities request that they receive public recognition? Ought (...) such minorities tolerate opposing views and practices on matters that are central to their faith, or should they request that these are not expressed in public? In this paper, I discuss and evaluate four possible responses to these questions. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...) philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

Em 1795, a maneira sarcástica com a qual Kant inaugura um de seus textos mais influentes referindo-se ao letreiro de uma pousada holandesa sobre o qual está pintado um cemitério cujo lema é a “paz perpétua”, diz muito sobre a situação permanente de guerra em que se encontrava não só os países europeus daquele tempo, mas também, de um modo geral, os povos na história da humanidade. Com o objetivo de colocar um fim definitivo em todas as guerras, Kant propõe (...) os fundamentos de uma teoria integral do direito público tripartida nos âmbitos do 1) direito do Estado, 2) do direito das gentes e 3) do direito cosmopolita. Exige-se, na primeira esfera, a instituição da constituição republicana, o que deve tornar os Estados sistemas políticos representativos. Em relação à segunda esfera, os Estados republicanos devem se reunir em uma liga livre de povos contrária à guerra E, na última, os seres humanos devem ser reconhecidos como cidadãos do mundo, o que lhes garante um direito à hospitalidade. Não é de se surpreender, levando em conta estas inovações, que o opúsculo kantiano “À paz Perpétua” tenha se tornado tão rapidamente popular e que a sua influência tenha se estendido para o contexto jurídico-político do século XX, materializando-se no aparecimento de organizações internacionais como a Liga das Nações (1919) e a Organização das Nações Unidas (1945). (shrink)

In this paper, my aim is to reconstruct, through the material presented in the handschrifter Nachlaß, Kant`s criticism to Hutcheson and to the doctrine of moral feeling in the 1770s in the so called silent decade. As we can note, this criticism generally is addressed to the fact that the doctrine of moral feeling is lacking an objective ground on which can be established a categorical conception of ethics. Moreover, I argue that in this context Kant already demonstrates, from his (...) critical position in the Reflexionen and Vorlesungen, the general lines of his mature conception on moral feeling as something strictly linked to our awareness of the law. (shrink)

Like Husserl, the young Heidegger was preoccupied with the a-priority of phenomenology. He also incorporates hermeneutics into phenomenology, though Husserl was convinced that the a-priority of phenomenology removed all interpretation from its analyses. This paper investigates how the early Heidegger is able to make hermeneutics a general condition of understanding while maintaining, in line with Husserl, that phenomenology is an a-priori science. This paper also provides insight into key debates in the history of phenomenology. I examine two places in which (...) Heidegger departs from Husserl’s phenomenology – the doctrine of categorial intuition and the “as-structure” of understanding – to show that a-priority and hermeneutic understanding come together, ontically, in facticity as the only possible starting point for phenomenology. Ontologically, however, a-priority and hermeneutics come together in the co-affection of Dasein as understanding and being as pre-given. This co-affection is itself dependent on Temporality as “the condition of any possible earlier”. (shrink)

O objetivo deste trabalho é apresentar as ponderações de Nietzsche sobre a filosofia nascente de Tales de Mileto com base em trechos selecionados dos ensaios nietzschianos do período da juventude intitulados A filosofia na época trágica dos gregos e Sobre verdade e mentira no sentido extramoral, da obra do período de transição A gaia ciência, assim como da obra do período mais tardio de sua vida intitulada Genealogia da moral, uma polêmica. Os trechos são suficientes para enfatizar o “erro” presente (...) na hipótese da água e as implicações da “intuição filosófica” de Tales para a representação da phýsis. Nietzsche pondera que a contemplação de Tales foi movida por uma crença ilógica, fantasiosa e indemonstrável, que encontramos em todos os filósofos, de que é possível acessar a realidade objetiva pelo “conhecimento”. Pondera ainda que o “filosofar indemonstrável” de Tales tem ainda o seu valor em pretender ser em todo caso não místico e não alegórico. Essas ponderações de Nietzsche sobre o filosofar de Tales servem neste trabalho para consolidar a perspectiva nietzschiana de que o conhecimento em suas formas de representar a “vida”, desde Tales, é movido pela crença ilógica na “verdade”, não na “aparência”. (shrink)

The objective of this article is to approach the way in which Kant considers the “analogies of experience” necessary connections for the scientific representation of the physical world to occur. The method consists of carrying out a conceptual analysis of selected excerpts from theCritique of pure reasonthat may serve to support the interpretation that the analogies of experience are, for Kant, rules that determine the necessary links between perceptions and the ability to understand phenomena. from them. In this way, we (...) seek to explain the divergence between pure knowledge and empirical knowledge, as well as the way in which physics manages to maintain its a priori concepts. -/- O objetivo deste artigo é abordar a maneira como Kant considera as “analogias da experiência” ligações necessárias para ocorrer a representação científica do mundo físico. O método consiste em analisar trechos selecionados da Crítica da razão pura, sobretudo do texto “Analítica dos princípios”, que apresentem as analogias da experiência como regras que determinam as ligações necessárias entre as percepções e a capacidade de compreensão dos fenômenos. Kant argumenta que embora os objetos sejam em si mesmos inacessíveis a nós isto não implica a impossibilidade de pensarmos neles. O resultado é uma perspectiva sobre o conhecimento científico capaz de considerar as analogias da experiência para manter alguns conceitos a priori sobre o mundo físico. (shrink)

The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...) to be indifferent to the influence of the practical philosophy of the Enlightenment German philosopher and theologian, Christian August Crusius. The aim of this article is thus to try to identify, taking into account the distinction of praxis in problematic and moral and the contrast between prudence and morality, some points of intersection between the moral philosophy of Crusius and Kant in its origin. (shrink)

If a problem is the collision between a system and a fact, Spinozism and German idealism’s greatest problem is the corpse. Life’s end is problematic for the denial of death’s qualitative difference from life and the affirmation of nature’s infinite purposiveness. In particular, German idealism exemplifies immortalism – the view that life is the unconditioned condition of all experience, including death. If idealism cannot explain the corpse, death is not grounded on life, which invites mortalism – the view that death (...) is the unconditioned condition of experience. In “Philosophical Letters,” Schelling critiques idealism, arguing that death symbolizes the regulative ideal of a philosophical system’s derivation, our striving for which unifies our rational activity. I interpret Schelling’s critique as explaining how death puts philosophy into question, an idea he develops in the Freedom essay and Berlin lectures. Death is not a problem to be solved by a system, but represents philosophy’s highest yet unrealizable end. (shrink)

O objetivo deste artigo é analisar se a Epistemologia Reformada constitui um tipo de fideísmo. Por Epistemologia Reformada entende-se a tese filosófica de que a crença em Deus pode ser intelectualmente justificada, racional ou avalizada, mesmo que o teísta não disponha de qualquer evidência em favor da existência de Deus. Primeiro, contudo, vou caracterizar precisamente a posição da Epistemologia Reformada a fim de entender como a crença teísta pode ser intelectualmente bem-sucedida, mesmo na ausência de provas ou evidências. Em seguida, (...) buscarei compreender o que se quer dizer por fideísmo e em que sentido essa posição seria uma acusação ou demérito contra a Epistemologia Reformada. Por fim, vou verificar se é correto classificar a Epistemologia Reformada como uma forma de fideísmo. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

Most of us spend a significant portion of our lives learning, practising, and performing a wide range of skills. Many of us also have a great amount of control over which skills we learn and develop. From choices as significant as career pursuits to those as minor as how we spend our weeknight leisure time, we exercise a great amount of agency over what we know and what we can do. In this paper we argue, using a framework first developed (...) by Carbonell (2013) that in many real-world circumstances we have moral obligations to develop some skills rather than others. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

The purpose of this article is to present the influence of Plotinus' thought on the political philosophy of the Roman Emperor Julian, between the years 361 to 363. The methodology consists of selecting excerpts from the works of Juliano Misopogon and Cartas y Fragmentos that may indicate the influence of the ideas of Plotinus' Ennead in the speech given by the Emperor to legitimize his political power. Juliano argues that the laws of the empire were created by the gods for (...) the organization of human life, so that obedience to the gods necessarily requires an obedience to those laws. According to Juliano, knowledge or episteme about the laws of empire is conditioned to the escape from sensible reality in the name of spiritual reality, in which the wise ruler also needs to transcend the body to know and obey divine laws. Thus, after analyzing Juliano's arguments, we seek to reflect on the viability of the political system adopted by him, especially if the reception of his ideas by rulers from the 20th century onwards is considered. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

É possível constatar, mesmo em uma leitura superficial, que Kant tem o propósito de empreender em seu opúsculo de 1795, À Paz Perpétua, uma defesa dos princípios normativos do direito em todas as esferas da vida pública. Isso se evidencia na tentativa de desenvolver uma teoria da paz erigida sobre uma teoria tríplice do direito público, dividida nos âmbitos do direito estatal, das gentes e cosmopolita. Mas, se a questão é, por um lado, adequar os princípios puros da doutrina do (...) direito à teoria da paz, por outro, o problema com o qual Kant tem de lidar é essencialmente histórico. Não se trata apenas de justificar, em um contexto abrangente, a normatividade dos princípios do direito, mas também de demonstrar a sua aplicabilidade. Por conseguinte, em seu empreendimento, Kant encontra-se diante do desafio de demonstrar a inconsistência da “expressão corrente”, com a qual teve que lidar antes, que diz que “isto pode ser correto na teoria, mas nada vale na prática”. Tal preocupação pode ser observada direta e indiretamente, em várias passagens, no decorrer do texto, explicitando-se ,sobretudo, na discussão apresentada no Suplemento Primeiro no qual a questão suscitada pelo problema da teoria e prática, acerca das condições de possibilidade de realização do ideal da paz, é discutida no contexto de sua filosofia da história e também no Apêndice I, no qual, através de uma reflexão sobre o consenso entre moral e política, o que se põe em questão é a possibilidade da concordância entre teoria e prática no contexto da filosofia e da prática política. Ocupar-me-ei nesse texto apenas em tratar da questão sob esse segundo aspecto, tentando destacar que a estratégia kantiana para superar o problema da teoria e prática, no âmbito da filosofia política, depende do desenvolvimento de uma “renovada” doutrina da prudência. Como observa Castillo1, “[p]ara provar que a teoria jurídica da paz se aplica na teoria e na prática ao mesmo tempo”, Kant “deve fazer um exame crítico do conceito de prudência do Estado”2 . Esta análise deve nos permitir concluir, em primeiro lugar, que, bem diferente da visão antes difundida de que a filosofia política de Kant é expressão de um moralismo “que é certamente sincero, mas basicamente ingênuo”3, o objetivo de Kant, na verdade, nunca foi o de se afastar da realidade concreta da política em nome de um ideal abstrato de virtude política. Sua preocupação foi, em vez disso, a de ajustar os co. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

While the idea that philosophy requires self-transformation is historically pervasive, it exerts considerable influence on the post-Kantians who first aim to systematize Kant’s idealism by grounding it on a first principle. In the 1790s, Fichte and Schelling offer competing accounts of the self-transformation that they regard as essential to positing a first principle. Their accounts raise two central questions. First, what makes this kind of self-transformation possible? Second, are there different possible expressions of philosophical self-transformation? In what follows, I will (...) articulate the Fichtean and Schellingian answers to these central questions. For Fichte, the one who summons me to posit a first principle makes possible my philosophical self-transformation, although the latter has an exclusively idealist expression in that I can only genuinely posit the I as first principle, which is to say that philosophical self-transformation depends on mutual recognition and vindicates precisely one philosophical system (Section 1). For Schelling, a brute act of will makes possible my philosophical self-transformation, although the latter has either an idealist or a realist expression in that I can genuinely posit either the I or the not-I as first principle, which is to say that philosophical self-transformation does not depend on mutual recognition and vindicates one of two possible philosophical systems (Section 2). Thus, whereas Fichtean self-transformation is recognitive and non-pluralistic, Schellingian self-transformation is pluralistic and non-recognitive. I conclude with a discussion of how Jacobi poses a challenge to Fichte’s and Schelling’s answers to the two central questions (Section 3). (shrink)

Quanto segue intende proporsi come il resoconto di una conversazione che Andrea Oliani, Bruno Cortesi e Pietro Vigiani, tutti studenti presso l’Almo Collegio Borromeo di Pavia, hanno intrattenuto con Emanuele Severino, volta ad enucleare, muovendo da spunti talvolta anche polemici, alcune delle concettualità fondanti quel corpus di dottrine che cade sotto il nome di severinismo. Severino è stato squisito nell’accoglierci e ospitarci nella sua dimora di Brescia, lucido e assolutamente puntuale nel controbattere alle nostre provocazioni. La discussione ha poi (...) trovato naturale seguito in una conferenza di carattere più divulgativo tenuta dal filosofo presso il Collegio Borromeo, dal titolo Sulla Tecnica. Severino consegue la laurea in Filosofia nel 1950 come alunno del Collegio Borromeo, discutendo una tesi intitolata Heidegger e la metafisica sotto la supervisione di Gustavo Bontadini. Solo un anno più tardi ottiene la libera docenza in filosofia teoretica. Nel 1964 pubblica lo scritto Ritornare a Parmenide, che, insieme a La Struttura Originaria rappresenta la miccia che innescherà negli anni successivi quello che molti hanno definito lo “scandalo” del severinismo. Questi scritti, come altri, posseggono una portata teorica tanto dirompente che già nel 1969, a seguito di un lungo e accurato esame condotto da Cornelio Fabro, la Chiesa cattolica proclamerà l’insanabile pposizione tra il pensiero di Severino e il Cristianesimo. Comprendere tale pensiero è cosa ardua, se prima non ci sia volti alla grecità delle origini: essa è, per Severino, il luogo ove in maniera inaudita (nel senso letterale di “mai udita prima”) viene pensato l’Incontrovertibile, il “Sempre Salvo”, ciò la cui egazione è auto-negazione, e che pertanto non può in alcun modo essere contraddetto; In altri termini: la Verità. Essa è anche stata in grado per la prima volta di concepire in maniera radicale L’Essere e il suo corrispettivo: il Niente inteso come radicale assenza di qualsiasi positività. L’aver inteso la Verità come Saphés (“Ciò che brilla di luce propria” da cui Philo-Sophìa) da un lato, e l’aver posto L’Essere e il Niente dall’altro, sono gli atti che per Severino fondano quell’immenso edificio culturale che ancora oggi domina il pianeta tutto: L’Occidente. È possibile, dunque, individuare una pars construens e una pars destruens negli scritti di Emanuele Severino: da una parte sembra che, facendo uso di un apparato logico e ontologico raffinatissimo, egli cerchi di porre in questione le categorie di pensiero occidentali risolvendo il Problema dell’Occidente alla radice, cioè eliminandolo (accenneremo a quale sia questo problema e a cosa significhi eliminarlo); in questa che è una vera e propria opera di demolizione, il Nostro (pars construens) intende mostrare come tutto quanto si mostra nell’orizzonte esperienziale sia “da sempre salvo” perché eterno. Ciò sfocia, in scritti quali Pensieri sul Cristianesimo, Technè, Il Giogo, Il Nulla e la Poesia, in una “ricostruzione” volta a mostrare come le categorie introdotte dal pensiero greco si riverberino in ogni forma della razionalità occidentale, dall’arte, alla filosofia, al diritto, alla politica, determinandone in maniera necessaria gli sviluppi. Precisiamo, per correttezza, che lo stesso non è stato rivisto da Severino. (shrink)

The article On the Miscarriage of All Philosophical Trials in Theodicy was published in 1791 on the pages of the monthly periodical berlinische Monatsschrift. By itself, the title of the article already seems to us quite enlightening. What would it be but a criticism of every attempt to justify the God's cause? Nevertheless, there are evidences that there is much more at stake. Thus, the purpose of this paper is to raise the question about the true meaning of the Kant`s (...) text, arguing in favor of the fact that, for some reasons, the essay should not be interpreted exclusively as a criticism, but otherwise as a effort to establish a positive foundation of theodicy. If, indeed, the limits of reason prohibit any attempt to defend the good cause of God by speculative means, on the other hand, practical reason opens the way, throught of the concept of a "authentic theodicy", to answer the objections which the experience raises against the government and justice of God. My purpose, from this, is to stress the important role of theodicy in the system of reason of Kantian philosophy. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

The thesis of experiential revelation—Rev for brevity—in the philosophy of mind claims that to have an experience—i.e., to be acquainted with it—is to know its nature. It is widely agreed that although at least moderate versions of Rev might strike one as plausible and perhaps even appealing, at least up to a certain extent, most of them are nonetheless inconsistent with almost any coherent form of physicalism about the mind. Thus far, the issue of the alleged tension between Rev and (...) physicalism has mostly been put in the relevant literature in terms of phenomenal concepts—those concepts which refer to phenomenal properties, or qualia, and characterize them in terms of the peculiar quality(ies) they exhibit—and some kind of “special feature” those concepts allegedly possess. I call this version of Rev C-Rev. This paper aims to suggest that while it is true that phenomenal concepts reveal the nature of their referent(s)—i.e., it is a priori, for a subject possessing the concept and just in virtue of possessing it, what it is for the referent(s) of the concept to be part of reality—this feature of them, in turn, rests on a non-conceptual non-propositional kind of knowledge, namely, sui generis introspective knowledge by acquaintance of one’s own phenomenally conscious states. I call this version of Rev A-Rev. §1 provides some introductory material. In §2 I discuss two arguments that have recently been put forth to undermine the cogency of C-Rev against physicalism. §3 elaborates on the historical roots of C-Rev. §4 presents some of the major arguments which have been offered for A-Rev. A few concluding remarks close the paper. (shrink)

Meillassoux seeks knowledge of transcendental reality, blaming Kant for the ‘correlationist’ proscription of independent access to either thought or being. For Meillassoux, correlationism blocks an account of the meaning of ‘ancestral statements’ regarding reality prior to humans. I examine three charges on which Meillassoux’s argument depends: (1) Kant distorts ancestral statements’ meaning; (2) Kant fallaciously infers causality’s necessity; (3) Kant’s transcendental idealism cannot grasp ‘the great outdoors’. I reject these charges: (1) imposes a Cartesian misreading, hence Meillassoux’s false assumption that, (...) for Kant, objects don’t exist without subjects; (2) misreads Kant, who infers causality’s necessity from the possibility of experience; (3) casts Kant’s idealism as subjective, ignoring his perspectival portrayal of it. (shrink)

This dissertation is about the construction of the concept of alchemy in the text named Compound of alchimy, written by English alchemist George Ripley (c.1415-c.1490). Manuscript history and circulation dates the text back to 1471. The route taken by the researcher serves two immediate purposes: the analyses of the document to verify the basis of the concept’s construction and the critique of an established historiography through a different methodological approach. The document serves as the axis of a perspective about aspects (...) of orality and scripture (from the French conception of écriture), whose intention is to open questions and bring light to unexplored points of the historiography of alchemy. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

As Reflexões sobre o otimismo são as mais antigas reflexões kantianas sobre metafísica que aparecem no legado manuscrito [ handschiftlicher Nachlass ], remetendo-se ao fecho de 1753 ou 1754. Para justificar a importância de sua tradução, eu argumento que as consequências oriundas do problema da teodicéia, que cerceiam sua problemática, apresentam-se como alguns dos aspectos fundamentais do desenvolvimento intelectual kantiano no que concerne aos âmbitos da teologia racional e da ética. Por um lado, argumento que a crítica à teodicéia de (...) Leibniz abre espaço para as primeiras reflexões kantianas em torno da teologia racional, proporcionando as bases para o fundamento da prova apresentada em o Único argumento possível para uma demonstração da existência de Deus. Por outro, eu deixo indicado que as reflexões são, do mesmo modo, o ponto de partida para profundas investigações em torno do conceito de perfeição, investigações essas que vão incidir diretamente no próprio modo kantiano de caracterização da vontade. (shrink)

In 2022 a group of researchers published an empirical study on population ethical intuitions, which remained largely unnoticed, but has the potential to revolutionize the hedonist account of global well-being. The study disclosed that – in valuing entire populations – the majority’s intuitions are asymmetric about happiness and suffering. If this asymmetry is applied to the life evaluations of the World Happiness Report, then the aggregated total turns negative.

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

It is commonly held that nature is knowable in itself and that death has no explanatory priority in knowing nature. I reject both claims as they undermine an account of the unity of human life, failing, respectively, to thematize the limitations of finite understanding and to acknowledge what’s most certain about finite existence. I use Kant’s idea of the thing in itself and Heidegger’s idea of death to solve two structurally analogous antinomies these failures leave intact. I conclude that to (...) think these ideas is to represent the telos that unifies our living as, respectively, finite knowers and finite beings. (shrink)

A precursor to the hard problem of consciousness confronts nihilism. Like physicalism, nihilism collides with the first-personal fact of what perception and action are like. Unless this problem is solved, nature’s inclusion of conscious experience will remain, as Chalmers warns the physicalist, an “unanswered question” and, as Jacobi chides the nihilist, “completely inexplicable". One advantage of Kant’s Copernican turn is to dismiss the question that imposes this hard problem. We need not ask how nature is accompanied by the first-person standpoint (...) because “I think” is an apperceptive form of thinking that must be able to accompany any cognition of nature. Kant’s formal conception of apperception worries Fichte in his Nova Methodo lectures. This conception arguably cannot exhaust the ground of experience, for it does not show why we posit objects “at all". For Fichte, it is our agency that first opens a world of objects, viz., as subjects, means, ends, and obstacles. In what follows, I argue that, for Fichte, the I poses no hard problem because it collides exclusively with nihilistic views like Spinozism, which are refuted by a properly transcendental idealist conception of apperception, according to which the first-person standpoint is the absolute ground of our experience of nature. If transcendental idealism refutes nihilism, nature is no more explicable than that there is something it is like for me to perceive and act. In Section 1, I show why Kantian apperception is necessary for possible experience. In Section 2, I reconstruct Fichte’s argument that a modified conception of apperception refutes guises of nihilism, thereby solving the hard problem of consciousness. In Section 3, I suggest that transcendental idealism undermines Chalmers’ proposed solution to and Dennett’s dismissal of this problem. (shrink)

Los desacuerdos acerca de la ontología científica han sido frecuentemente reconstruidos como el resultado de una disputa entre stances epistémicas rivales. En el presente trabajo, (i) caracterizamos algunos de estos desacuerdos como desacuerdos profundos. Además, (ii) mostramos que los desacuerdos profundos sobre ontología científica pueden surgir no solo de la adopción de diferentes stances epistémicas, sino entre posiciones que se encuadran dentro de una misma stance. El desarrollo de ese punto nos permite, a su vez, establecer una distinción entre tipos (...) de desacuerdos profundos y explorar la posibilidad de que existan diferencias de grado entre ellos. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

Kant‘s moral philosophy is one of the great cornerstones of the Western ethical reflection. The little that is known is that the basic conception on which Kantian ethics was built – videlicet, the concept of autonomy of the will – was developed from the attempt to solve a set of problems of metaphysical and theological character that could only have been overcome through the adoption of a new practical metaphysics. With this in mind, this research is an attempt at a (...) reconstruction of the Kantian moral thought in its development, having as a higher aim the emphasis on the importance of the problem of theodicy in the genesis of Kant‘s original conceptions of freedom and the moral world, which emerged from the middle of the 1760s and only came to a bloom on the next decade. Such an attempt at a reconstruction will be guided by the chronological sequel of the pre-critical writings and Kant‘s reflections on the Manuscript Legacy, besides his Lectures on Ethics, sources that are temporally circumscribed from the late 1750s and the first half of the 1780 decade. In a first moment, the genesis of the moral problem will be analyzed from Kant‘s critical position – due to the objections that were raised precisely by the theodicy – in front of the intellectualistic comprehension of the concepts of perfection and will such as they were received by the German Scholastic. In a second moment, the beginning of a reformulation directly influenced by Crusius and the British moralists will be highlighted, and it will culminate in a repositioning of the ethical problem, having in mind the roles of reason and feeling. The third moment is marked by the Kantian assimilation of Rousseau‘s thought. Rousseau‘s influence will propel the emergency of a new understanding of the concept of perfection as an inner attribute of the will, enabling support for a new concept of practical philosophy. Indeed, a solution to the ethical problem regarding the conditions of possibility of free actions within the natural world will emerge and, besides that, a path to an adequate answer to the problem of theodicy will rise by means of the concept of a practical rational faith. Finally, the development of the Kantian doctrine of the categorical imperative will be highlighted – by means of the debate with Baumgarten‘s compendium – as the first attempts to lay down a systematic and unified view of morality that will try to establish a connection between the concepts of virtue and happiness – in this contexts, approach from the perspective of the highest Good. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

This is a chapter on noncognitivism in a textbook on ethics.

Our understanding of Schelling’s internal critique of German idealism, including his late attack on Hegel, is incomplete unless we trace it to the early “Philosophical Letters on Dogmatism and Criticism,” which initiate his engagement with the problem of systematicity—that judgment makes deriving a system of a priori conditions from a first principle necessary, while this capacity’s finitude makes this impossible. Schelling aims to demonstrate this problem’s intractability. My conceptual aim is to reconstruct this from the “Letters,” which reject Fichte’s claim (...) that the Wissenschaftslehre is an unrivalled system. I read Schelling as charging Fichte with misrepresenting a system’s livability or commensurability with our finitude. My historical aim is to provide a framework for understanding Schelling’s Freiheitsschrift, which argues that a system’s liveability depends on its incompleteness or limitation by our finitude. On my reading, Schelling is early and continually committed to systematicity within the bounds of human finitude. (shrink)